Model checkers - PDFSEARCH.IO - Document Search Engine

Model checkers
Results: 102

#	Item
51	Environment Unrolling Steven Lyde and Matthew Might University of Utah Abstract. We propose a new way of thinking about abstract interpretation with a method we term environment unrolling. Model checkers for imperative l Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-26 13:28:21 Metalogic Model theory Normal distribution
52	The Rochester Checkers Player: Multi-Model Parallel Programming for Animate Vision B.D. Marsh, C.M. Brown, TJ. LeBlanc, M.L. Scott, T.G. Becker, P.Ch. Das, J. Karlsson, and C.A. Quiroz Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-03-28 16:33:36 Programming paradigms Thread Kernel Parallel programming model Process management Parallel computing Scheduling Virtual Processor Mach Computing Computer programming Concurrent computing
53	The Rochester Checkers Player: Multi-Model Parallel Programming for Animate Vision B. Marsh, C. Brown, T. LeBlanc, M. Scott, T. Becker, P. Das, J. Karlsson, C. Quiroz The University of Rochester Computer Science Departme Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-03-27 21:03:12 Programming paradigms Parallel computing Thread Parallel programming model Kernel Concurrent data structure Process management Virtual Processor Pipeline Computing Computer programming Concurrent computing
54	1 Rapid Property Specification and Checking for Model-Based Formalisms Daniel Balasubramanian, Gabor Pap, Harmon Nine, Gabor Karsai Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2011-04-21 15:55:05 Software Model checkers Software testing Model checking Simulink Java Pathfinder SPIN model checker Constraint automaton Software verification Automata theory Theoretical computer science Computing
55	Property Verification for Generic Access Control Models Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-12-01 10:19:28 Model checkers Applied mathematics Model checking NuSMV Software testing Formal verification Role-based access control Software development process Formal methods Access control Security
56	Quantitative Verification Formal Guarantees for Timeliness, Reliability and Performance A Knowledge Transfer Report from the London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineeri Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-08-21 16:51:10 Systems science Model checkers Theoretical computer science Software quality Logic in computer science Model checking Formal verification PRISM model checker Reliability engineering Systems engineering Science Formal methods
57	NuSMV 2.3 Tutorial Roberto Cavada, Alessandro Cimatti, Gavin Keighren, Emanuele Olivetti, Marco Pistore and Marco Roveri IRST - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2005-11-21 08:31:30 Electromagnetism Technology Automation Electric motors Models of computation Digital electronics Model checking Semaphore Inverter Electrical engineering Model checkers NuSMV
58	NuSMV 2.2 Tutorial Roberto Cavada, Alessandro Cimatti, Gavin Keighren, Emanuele Olivetti, Marco Pistore and Marco Roveri ITC-irst - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2007-04-06 08:46:53 Electromagnetism Technology Automation Electric motors Models of computation Digital electronics Model checking Semaphore Inverter Model checkers Electrical engineering NuSMV
59	NuSMV 2.5 Tutorial Roberto Cavada, Alessandro Cimatti, Gavin Keighren, Emanuele Olivetti, Marco Pistore and Marco Roveri FBK-irst - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2011-06-16 06:18:42 NuSMV Technology Automation Electric motors Model checking Inverter Semaphore Asynchronous circuit Electrical engineering Model checkers Electromagnetism
60	Automatic Verification of  Competitive Stochastic Systems  Dave Parker  University of Birmingham University of Liverpool, May 2012 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-05-29 18:24:25 Model checking Stochastic PRISM model checker Markov chain Statistics Probability and statistics Model checkers